package naruto.datastructures.instruction;


/**
 *
 * @author nacuong
 */
public class EndIfInstruction extends IfCompleteInstruction<gov.nasa.jpf.jvm.bytecode.IfInstruction>{
  public EndIfInstruction(gov.nasa.jpf.jvm.bytecode.IfInstruction instruction) {
    super(instruction);
  }

  public EndIfInstruction(gov.nasa.jpf.jvm.bytecode.IfInstruction instruction, int recursiveCounter) {
    super(instruction, recursiveCounter);
  }
}
